Une généralisation du théorème de Liouville effectif pour les variétés projectives
نویسندگان
چکیده
منابع مشابه
Invariants de Vassiliev pour les entrelacs dans S³ et dans les variétés de dimension trois
et Uwe qui ont rendu ces ann ees de th ese tr es instructives et surtout tr es agr eables. Merci ennn a mes parents et a mon fr ere pour leur soutien important.
متن کاملUne preuve formelle et intuitionniste du théorème de complétude de la logique classique
Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...
متن کاملChoix du taux d'élagage pour l'extraction de la terminologie. Une approche fondée sur les courbes ROC
Résumé. Le choix du taux d’élagage est crucial dans le but d’acquérir une terminologie de qualité à partir de corpus de spécialité. Cet article présente une étude expérimentale consistant à déterminer le taux d’élagage le plus adapté. Plusieurs mesures d’évaluation peuvent être utilisées pour déterminer ce taux tels que la précision, le rappel et le Fscore. Cette étude s’appuie sur une autre me...
متن کاملVers une extension du SAM (Strategic Alignment Model) pour les systèmes d'information de production
RÉSUMÉ. Les systèmes d’information (SI) de production des entreprises du secteur manufacturier sont au coeur de changements d'origines diverses : évolution des processus qu'ils supportent, évolution des technologies de production et évolution des technologies de l'information (TI). Dans ce cadre, l'alignement des SI de production avec la stratégie de l'organisation; son environnement externe et...
متن کاملHiérarchies de généralisation dans les bases de données relationnelles : une approche hybride de rétro-conception
This paper proposes to combine a heuristic technique and an algorithmic one to provide a method to reverse engineer the generalization/specialization links hidden in a relational database. The heuristic phase combines the exploration of three sources: DDL specifications, DML specifications and data to provide information, such as inclusion links and existence constraints. This information is th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Kyoto Journal of Mathematics
سال: 2020
ISSN: 2156-2261
DOI: 10.1215/21562261-2019-0073